Arithmetic of Dedekind cuts of ordered Abelian groups
نویسندگان
چکیده
We study Dedekind cuts on ordered Abelian groups. We introduce a monoid structure on them, and we characterise, via a suitable representation theorem, the universal part of the theory of such structures. MSC: 06F05; 06F20
منابع مشابه
Arithmetic of Dedekind cuts on ordered Abelian groups
We study Dedekind cuts on ordered Abelian groups. We introduce a monoid structure on them, and we characterise, via a suitable representation theorem, the universal part of the theory of such structures. MSC: 06F05; 06F20
متن کاملDedekind cuts of Archimedean complete ordered abelian groups
A Dedekind cut of an ordered abelian group G is a pair (X, Y) of nonempty subsets of G where Y=G−X and every member of X precedes every member of Y. A Dedekind cut (X, Y) is said to be continuous if X has a greatest member or Y has a least member, but not both; if every Dedekind cut of G is a continuous cut, G is said to be (Dedekind) continuous. The ordered abelian group R of real numbers is, ...
متن کاملCuts and overspill properties in models of bounded arithmetic
In this paper we are concerned with cuts in models of Samuel Buss' theories of bounded arithmetic, i.e. theories like $S_{2}^i$ and $T_{2}^i$. In correspondence with polynomial induction, we consider a rather new notion of cut that we call p-cut. We also consider small cuts, i.e. cuts that are bounded above by a small element. We study the basic properties of p-cuts and small cuts. In particula...
متن کاملCounting external sets in models of arithmetic
I report on a number of ideas and results related to counting in models of arithmetic. These include: (a) the arithmetic of the Dedekind completion of a model (adding, subtracting, multiplication and division of cuts) and differentiation of cuts; (b) the methods of counting an external bounded set and their properties; and (c) possible extensions of the theory to a satisfactory notion of ‘measu...
متن کاملElliptic Curves and Dedekind Domains
Some results are obtained on the group of rational points on elliptic curves over infinite algebraic number fields. A certain naturally defined class of Dedekind domains, elliptic Dedekind domains, are described and it is shown that every countable abelian group can be realized as the class group of an elliptic Dedekind domain. Introduction. Let E be an elliptic curve defined over a field K. Le...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 156 شماره
صفحات -
تاریخ انتشار 2008